Representation of gene regulation networks by hypothesis logic-based Boolean systems

نویسندگان

چکیده

Boolean Dynamical Systems (BDSs) are networks described by variables. A new representation of BDSs is presented in this article using modal non-monotonic logic (\({\mathcal {H}}\)). This approach allows Networks to be represented a set formulas and therefore can used describe learn their properties. The study BDS focuses particular on the search stable configurations, limit cycles unstable cycles, which help characterize large type Gene Networks. In identification such asymptotic properties introduction concept, ghost extensions. Using extensions, it possible translate propositional calculus consequently use SAT algorithms.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Mutations Change the Boolean Logic of Gene Regulation

Background: Technological advances in mass spectrometry and other detection methods are leading to larger and larger proteomics datasets. However, when papers describing such information are published the enormous volume of data can typically only be provided as supplementary data in a tabular form through the journal website. Several journals in the proteomics field, together with the Human Pr...

متن کامل

A Study of 3-gene Regulation Networks Using NK- Boolean Network Model and Fuzzy Logic Networking

Boolean network theory, proposed by Stuart A. Kauffman about 3 decades ago, is more general than the cellular automata theory of von Neumann. This theory has many potential applications, and one especially significant application is in the modeling of genetic networking behavior. In order to understand the genomic regulations of a living cell, one must investigate the chaotic phenomena of some ...

متن کامل

Logic Programming for Boolean Networks

The Boolean network is a mathematical model of biological systems, and has attracted much attention as a qualitative tool for analyzing the regulatory system. The stable states and dynamics of Boolean networks are characterized by their attractors, whose properties have been analyzed computationally, yet not much work has been done from the viewpoint of logical inference systems. In this paper,...

متن کامل

Networking development by Boolean logic

Eric Davidson at Caltech has spent several decades investigating the molecular basis of animal development using the sea urchin embryo as an experimental system although his scholarship extends to all of embryology as embodied in several editions of his landmark book. In recent years his laboratory has become a leading force in constructing gene regulatory networks (GRNs) operating in sea urchi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: The Journal of Supercomputing

سال: 2022

ISSN: ['0920-8542', '1573-0484']

DOI: https://doi.org/10.1007/s11227-022-04809-5